A Logic Framework for P2P Deductive Databases
نویسندگان
چکیده
منابع مشابه
A logical framework for temporal deductive databases
Temporal deductive databases are deductive databases with an ability to represent both valid time and transaction time. The work is based on the Event Calculus of Kowalski & Sergot. Event Calculus is a treatment of time, based on the notion of events, in first-order classical logic augmented with negation as failure. It formalizes the semantics of valid time in deductive databases and offers ca...
متن کاملA Logic Programming Approach to Querying and Integrating P2P Deductive Databases
The paper proposes a logic framework for modeling the interaction among deductive databases and computing consistent answers to logic queries in a P2P environment. As usual, data are exchanged among peers by using logical rules, called mapping rules. The novelty of our approach is that only data not violating integrity constraints are exchanged. The (declarative) semantics of a P2P system is de...
متن کاملA Computational Model for Functional Logic Deductive Databases
This paper adds the handling of negative information to a functional-logic deductive database language. By adopting as semantics for negation the so-called CRWLF, wherein the negation is intended as ’finite failure’ of reduction, we will define Herbrand algebras and models for this semantics and a fix point operator to be used in a new goaldirected bottom-up evaluation mechanism based on magic ...
متن کاملA safe relational calculus for functional logic deductive databases
In this paper, we present an extended relational calculus for expressing queries in functional-logic deductive databases. This calculus is based on first-order logic and handles relation predicates, equalities and inequalities over partially defined terms, and approximation equations. For the calculus formulas, we have studied syntactic conditions in order to ensure the domain independence prop...
متن کاملLOLA - A Logic Language for Deductive Databases and its Implementation
The purpose of this paper is to give an overview of the LOLA logic programming system which serves as the kernel of a deductive database system. The LOLA language, the query evaluation strategy, the available query optimiaations, the overall compiler architecture, and some implementational details and performance measurements are presented. The LOLA-system is fully implemented in Common Lisp an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2019
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068419000073